Andrei Voronkov

 ( Academics Of The University Of Manchester ) 

Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.

---

Education Voronkov was educated at Novosibirsk State University, graduating with a PhD in 1987.

---

Research

Voronkov is known for the Vampire automated theorem prover, the EasyChair conference management software, the Handbook of Automated Reasoning (with John Alan Robinson, 2001),

(2025). 9780444508133, MIT Press + Elsevier. ISBN 9780444508133

(2025). 9780444508133 ISBN 9780444508133

(2025). 9780444508133 ISBN 9780444508133

(2025). 9780444508133 ISBN 9780444508133

and as organiser of the Alan Turing Centenary Conference 2012.

Voronkov's research has been funded by the Engineering and Physical Sciences Research Council (EPSRC).

---

Awards and honours

In 2015, his contributions to the field of automated reasoning were recognized with the Herbrand Award. He has won 25 division titles in the CADE ATP System Competition (CASC) at the Conference on Automated Deduction (CADE) since 1999.

Categories: Academics Of The University Of Manchester, Living People, 1959 Births, Academic Staff Of Novosibirsk State University, Novosibirsk State University Alumni

Post Comment